FAULT TREE ANALYSIS OF KNICS RPS SOFTWARE
نویسندگان
چکیده
منابع مشابه
NuFTA: A CASE Tool for Automatic Software Fault Tree Analysis
Software fault tree analysis (SFTA) [1] is widely used for analyzing software requiring high-reliability. In SFTA, experts predict failures of system through HAZOP (Hazard and Operability study) or FMEA (Failure Mode and Effects Analysis) and draw software fault trees about the failures. Quality and cost of the software fault tree, therefore, depend on knowledge and experience of the experts. T...
متن کاملSupporting Software Fault Tree Analysis Using a Key Node Metric
Design-time use of software fault tree analysis allows designers to focus on safety critical system aspects early in the software development process. This paper presents a technique for evaluating the impact of software fault tree 'key nodes' requiring multiple inputs to fail before the hazard propagates through the system. A heuristics-based key node metric providing a design tool with which ...
متن کاملFault Tree Analysis for Safety/Security Verification in Aviation Software
The Next Generation Air Traffic Management system (NextGen) is a blueprint of the future National Airspace System. Supporting NextGen is a nation-wide Aviation Simulation Network (ASN), which allows integration of a variety of real-time simulations to facilitate development and validation of the NextGen software by simulating a wide range of operational scenarios. The ASN system is an environme...
متن کاملDeveloping a high-quality software tool for fault tree analysis
Sophisticated dependability analysis techniques have been developed in academia and research labs, but few have gained wide acceptance in the industry. To be valuable, such techniques must be supported by software tools that provide the high levels of usability that users now demand as well as assurances that the techniques are specified and implemented correctly. Further, it is seldom the case...
متن کاملPublic transport risk assessment through fault tree analysis
This study focused on the public transport risk assessment in District one of Tehran through Fault Tree Analysis involving the three criteria of human, vehicle and road in Haddon matrix. In fact, it examined the factors contributing to the occurrence of road accidents at several urban black spots within District 1. Relying on road safety checklists and survey of experts, this study made an ef...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nuclear Engineering and Technology
سال: 2008
ISSN: 1738-5733
DOI: 10.5516/net.2008.40.5.397